1. An introduction to formal specification and Z
المؤلف: / Ben Potter, John Sinclair and David Till
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer software--Development.,Z (Computer program language)
رده :
QA
76
.
76
.
D47P68
1996

